#ifndef __UTIL_H__
#define __UTIL_H__

/*=============================*
 * FONCTIONS AUXILIIRES UTILES *
 *=============================*/

struct thread* retrouverLeThread(thread_t tid);
void addInFifo(thread * th);
int mainBecomesThread();
thread* prochainThread();
void nettoyage_thread_termine(thread* current);
void updatePriority(thread* th);
void killThreadChildren(thread_t tid);
#include"timer.h"
#endif /*util.h*/
